symmetric relation in discrete mathematics